28 results
Temporal Logics
-
- Published online:
- 08 September 2023
- Print publication:
- 05 October 2023
-
- Element
- Export citation
APPROXIMATING TREES AS COLOURED LINEAR ORDERS AND COMPLETE AXIOMATISATIONS OF SOME CLASSES OF TREES
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 86 / Issue 3 / September 2021
- Published online by Cambridge University Press:
- 08 June 2021, pp. 1035-1065
- Print publication:
- September 2021
-
- Article
- Export citation
LOGICS FOR PROPOSITIONAL DETERMINACY AND INDEPENDENCE
-
- Journal:
- The Review of Symbolic Logic / Volume 11 / Issue 3 / September 2018
- Published online by Cambridge University Press:
- 02 April 2018, pp. 470-506
- Print publication:
- September 2018
-
- Article
- Export citation
References
-
- Book:
- Temporal Logics in Computer Science
- Published online:
- 13 October 2016
- Print publication:
- 13 October 2016, pp 716-736
-
- Chapter
- Export citation
2 - Preliminaries and Background I
- from PART I - MODELS
-
- Book:
- Temporal Logics in Computer Science
- Published online:
- 13 October 2016
- Print publication:
- 13 October 2016, pp 17-34
-
- Chapter
- Export citation
12 - Frameworks for Decision Procedures
- from PART IV - METHODS
-
- Book:
- Temporal Logics in Computer Science
- Published online:
- 13 October 2016
- Print publication:
- 13 October 2016, pp 467-475
-
- Chapter
- Export citation
5 - Basic Modal Logics
- from PART II - LOGICS
-
- Book:
- Temporal Logics in Computer Science
- Published online:
- 13 October 2016
- Print publication:
- 13 October 2016, pp 100-149
-
- Chapter
- Export citation
8 - The Modal Mu-Calculus
- from PART II - LOGICS
-
- Book:
- Temporal Logics in Computer Science
- Published online:
- 13 October 2016
- Print publication:
- 13 October 2016, pp 271-328
-
- Chapter
- Export citation
9 - Alternating-Time Temporal Logics
- from PART II - LOGICS
-
- Book:
- Temporal Logics in Computer Science
- Published online:
- 13 October 2016
- Print publication:
- 13 October 2016, pp 329-358
-
- Chapter
- Export citation
PART II - LOGICS
-
- Book:
- Temporal Logics in Computer Science
- Published online:
- 13 October 2016
- Print publication:
- 13 October 2016, pp 83-84
-
- Chapter
- Export citation
PART I - MODELS
-
- Book:
- Temporal Logics in Computer Science
- Published online:
- 13 October 2016
- Print publication:
- 13 October 2016, pp 15-16
-
- Chapter
- Export citation
14 - The Automata-Based Approach
- from PART IV - METHODS
-
- Book:
- Temporal Logics in Computer Science
- Published online:
- 13 October 2016
- Print publication:
- 13 October 2016, pp 543-624
-
- Chapter
- Export citation
11 - Computational Complexity
- from PART III - PROPERTIES
-
- Book:
- Temporal Logics in Computer Science
- Published online:
- 13 October 2016
- Print publication:
- 13 October 2016, pp 419-464
-
- Chapter
- Export citation
PART III - PROPERTIES
-
- Book:
- Temporal Logics in Computer Science
- Published online:
- 13 October 2016
- Print publication:
- 13 October 2016, pp 359-360
-
- Chapter
- Export citation
6 - Linear-Time Temporal Logics
- from PART II - LOGICS
-
- Book:
- Temporal Logics in Computer Science
- Published online:
- 13 October 2016
- Print publication:
- 13 October 2016, pp 150-208
-
- Chapter
- Export citation
13 - Tableaux-Based Decision Methods
- from PART IV - METHODS
-
- Book:
- Temporal Logics in Computer Science
- Published online:
- 13 October 2016
- Print publication:
- 13 October 2016, pp 476-542
-
- Chapter
- Export citation
7 - Branching-Time Temporal Logics
- from PART II - LOGICS
-
- Book:
- Temporal Logics in Computer Science
- Published online:
- 13 October 2016
- Print publication:
- 13 October 2016, pp 209-270
-
- Chapter
- Export citation
PART IV - METHODS
-
- Book:
- Temporal Logics in Computer Science
- Published online:
- 13 October 2016
- Print publication:
- 13 October 2016, pp 465-466
-
- Chapter
- Export citation
10 - Expressiveness
- from PART III - PROPERTIES
-
- Book:
- Temporal Logics in Computer Science
- Published online:
- 13 October 2016
- Print publication:
- 13 October 2016, pp 361-418
-
- Chapter
- Export citation
3 - Transition Systems
- from PART I - MODELS
-
- Book:
- Temporal Logics in Computer Science
- Published online:
- 13 October 2016
- Print publication:
- 13 October 2016, pp 35-82
-
- Chapter
- Export citation